Exploration
Accueil
Racine
Exploration
Accueil
Racine

Serveur d'exploration sur la recherche en informatique en Lorraine

Attention, ce site est en cours de développement !
Attention, site généré par des moyens informatiques à partir de corpus bruts.
Les informations ne sont donc pas validées.

EAST-ADL - An Architecture Description Language - Validation and Verification Aspects

Identifieur interne : 006911 ( Main/Exploration ); précédent : 006910; suivant : 006912

EAST-ADL - An Architecture Description Language - Validation and Verification Aspects

Auteurs : Vincent Debruyne ; Françoise Simonot-Lion ; Yvon Trinquet

Source :

RBID : CRIN:debruyne04a

English descriptors

Abstract

The part of embedded electronic systems in vehicles is nowadays growing. The European EAST-EEA project aims to bring efficient methods and tools for mastering the complexity of these systems. We present EAST-ADL, an Architecture Description Language developed in this project et show how the verification and validation activities are linked to this language.


Affiliations:

Links toward previous steps (curation, corpus...)

Le document en format XML

<record>
<TEI>
<teiHeader>
<fileDesc>
<titleStmt>
<title xml:lang="en" wicri:score="352">EAST-ADL - An Architecture Description Language - Validation and Verification Aspects</title>
</titleStmt>
<publicationStmt>
<idno type="RBID">CRIN:debruyne04a</idno>
<date when="2004" year="2004">2004</date>
<idno type="wicri:Area/Crin/Corpus">003F28</idno>
<idno type="wicri:Area/Crin/Curation">003F28</idno>
<idno type="wicri:explorRef" wicri:stream="Crin" wicri:step="Curation">003F28</idno>
<idno type="wicri:Area/Crin/Checkpoint">000739</idno>
<idno type="wicri:explorRef" wicri:stream="Crin" wicri:step="Checkpoint">000739</idno>
<idno type="wicri:Area/Main/Merge">006C14</idno>
<idno type="wicri:Area/Main/Curation">006911</idno>
<idno type="wicri:Area/Main/Exploration">006911</idno>
</publicationStmt>
<sourceDesc>
<biblStruct>
<analytic>
<title xml:lang="en">EAST-ADL - An Architecture Description Language - Validation and Verification Aspects</title>
<author>
<name sortKey="Debruyne, Vincent" sort="Debruyne, Vincent" uniqKey="Debruyne V" first="Vincent" last="Debruyne">Vincent Debruyne</name>
</author>
<author>
<name sortKey="Simonot Lion, Francoise" sort="Simonot Lion, Francoise" uniqKey="Simonot Lion F" first="Françoise" last="Simonot-Lion">Françoise Simonot-Lion</name>
</author>
<author>
<name sortKey="Trinquet, Yvon" sort="Trinquet, Yvon" uniqKey="Trinquet Y" first="Yvon" last="Trinquet">Yvon Trinquet</name>
</author>
</analytic>
</biblStruct>
</sourceDesc>
</fileDesc>
<profileDesc>
<textClass>
<keywords scheme="KwdEn" xml:lang="en">
<term>adl</term>
<term>real-time systems</term>
<term>requirements</term>
<term>validation</term>
<term>verification</term>
</keywords>
</textClass>
</profileDesc>
</teiHeader>
<front>
<div type="abstract" xml:lang="en" wicri:score="1117">The part of embedded electronic systems in vehicles is nowadays growing. The European EAST-EEA project aims to bring efficient methods and tools for mastering the complexity of these systems. We present EAST-ADL, an Architecture Description Language developed in this project et show how the verification and validation activities are linked to this language.</div>
</front>
</TEI>
<affiliations>
<list></list>
<tree>
<noCountry>
<name sortKey="Debruyne, Vincent" sort="Debruyne, Vincent" uniqKey="Debruyne V" first="Vincent" last="Debruyne">Vincent Debruyne</name>
<name sortKey="Simonot Lion, Francoise" sort="Simonot Lion, Francoise" uniqKey="Simonot Lion F" first="Françoise" last="Simonot-Lion">Françoise Simonot-Lion</name>
<name sortKey="Trinquet, Yvon" sort="Trinquet, Yvon" uniqKey="Trinquet Y" first="Yvon" last="Trinquet">Yvon Trinquet</name>
</noCountry>
</tree>
</affiliations>
</record>

Pour manipuler ce document sous Unix (Dilib)

EXPLOR_STEP=$WICRI_ROOT/Wicri/Lorraine/explor/InforLorV4/Data/Main/Exploration

HfdSelect -h $EXPLOR_STEP/biblio.hfd -nk 006911 | SxmlIndent | more

Ou

HfdSelect -h $EXPLOR_AREA/Data/Main/Exploration/biblio.hfd -nk 006911 | SxmlIndent | more

Pour mettre un lien sur cette page dans le réseau Wicri

{{Explor lien
   |wiki=    Wicri/Lorraine
   |area=    InforLorV4
   |flux=    Main
   |étape=   Exploration
   |type=    RBID
   |clé=     CRIN:debruyne04a
   |texte=   EAST-ADL - An Architecture Description Language - Validation and Verification Aspects
}}
Wicri

This area was generated with Dilib version V0.6.33.
Data generation: Mon Jun 10 21:56:28 2019. Site generation: Fri Feb 25 15:29:27 2022